61. Logic program synthesis and transformation :
Author: publ. in collab. with the British Computer Society. Yves Deville (ed.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Logische Programmierung,Softwareentwicklung,Systemtransformation
62. Logics of Programs :
Author: by E. Clarke, D. Kozen.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Logic design.,Programmation (Informatique) -- Congrès.
63. MATLAB control systems engineering /
Author: César Pérez López
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: MATLAB,Computer-aided engineering,Control theory-- Computer programs
Classification :
QA402
.
3
.
P47
2014
64. MICAI 2002 :
Author: Carlos A. Coello Coello [and others], (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence -- Congresses.,Artificial intelligence.
65. Mastering C++ Game Development :
Author:
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: C++ (Computer program language),Computer games-- Programming.,C++ (Computer program language),Computer games-- Programming.,Computers-- Computer Graphics.,Computers-- Programming Languages-- C.,Computers-- Programming Languages-- General.,Graphical & digital media applications.,Programming & scripting languages: general.
Classification :
QA76
.
73
.
C153
66. Mathematical Foundations of Computer Science 1976 :
Author: edited by Antoni Mazurkiewicz.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Computer Science.,Computers.
Classification :
QA267
.
3
E358
1976
67. Mathematical Foundations of Computer Science 1989 :
Author: edited by Antoni Kreczmar, Grazyna Mirkowska.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Computer software.,Logic design.
Classification :
QA76
.
9
.
M35
E358
1989
68. New Trends in Computer Graphics Proceedings of CG International '88
Author: Nadia Magnenat-Thalmann
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject:
Classification :
T385
.
N335
2013
69. Numerical methods of mathematics implemented in Fortran /
Author: Sujit Kumar Bose.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science-- Mathematics.,FORTRAN (Computer program language),Computer science-- Mathematics.,FORTRAN (Computer program language)
Classification :
QA76
.
73
.
F25
B67
2019
70. Numerical methods of mathematics implemented in Fortran
Author: / Sujit Kumar Bose.
Library: Library of College of Science University of Tehran (Tehran)
Subject: FORTRAN (Computer program language),Computer science, -- Mathematics,a04,a05
Classification :
QA76
.
73
.
F25
B67
2019
71. OOIS'96 :
Author: edited by Dilip Patel, Yuan Sun, Shushma Patel.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Database management.,Object-oriented databases -- Congresses.
Classification :
QA76
.
9
.
D3
E358
1997
72. Object-Oriented Programming :
Author: by Hanspeter Mössenböck.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Oberon.,Object-oriented programming (Computer science),Operating systems (Computers)
Classification :
QA76
.
64
B943
1993
73. PRICAI 2000 :
Author: 6th Pacific Rim International Conference on Artificial Intelligence, Melbourne, Australia, August 28 - September 1, 2000 ; Riichiro Mizoguchi, John Slaney (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: računalništvo -- umetna inteligenca -- logika -- logično programiranje -- ojačano učenje -- strojno učenje -- odkrivanje znanja -- Bayesianove mreže -- avtonomni agenti -- genetski algoritmi -- genetsko programiranje -- nevronske mreže -- rob
74. Parallel Computing and Mathematical Optimization :
Author: edited by Manfred Grauer, Dieter B. Pressmar.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Economics.,Management information systems.
Classification :
Q500
.
E358
1991
75. Parallel algorithms for numerical linear algebra on a shared memory multiprocessor
Author: Kaya, Dogan
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Applied mathematics
76. Parallel problem solving from nature - PPSN VI ;
Author: Marc Schoenauer [and others]
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Evolutionary computation, Congresses.,Parallel processing (Electronic computers), Congresses.
Classification :
QA76
.
58
.
C69
2000
77. Parallel processing and applied mathematics :
Author: Roman Wyrzykowski, Jack Dongarra, Ewa Deelman, Konrad Karczewski (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Mathematics, Congresses.,Parallel processing (Electronic computers), Congresses.,Algorithms & data structures.,Artificial intelligence.,Computer architecture & logic design.,Computer networking & communications.,Computers-- Data Processing.,Computers-- Hardware-- General.,Computers-- Intelligence (AI) & Semantics.,Computers-- Logic Design.,Computers-- Programming-- Algorithms.,Computers-- Software Development & Engineering-- General.,Mathematical theory of computation.,Mathematics.,Parallel processing (Electronic computers),Software Engineering.
Classification :
QA76
.
58
78. Parallel processing and parallel algorithms :
Author: Seyed H Roosta
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject:
Classification :
QA76
.
58
S494
2013
79. Parametric design for architecture /
Author: Wassim Jabi.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Architectural design-- Data processing.,Computer-aided design.,Architectural design-- Data processing.,ARCHITECTURE-- Adaptive Reuse & Renovation.,ARCHITECTURE-- Buildings-- Landmarks & Monuments.,ARCHITECTURE-- Professional Practice.,ARCHITECTURE-- Reference.,Computer-aided design.
Classification :
NA2728
80. Perspectives of system informatics :
Author: 4th International Andrei Ershov Memorial Conference, PSI 2001, Akademgorodok, Novosibirsk, Russia, July 2-6, 2001. Dines Bjørner ... (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Programmierung.,Theoretische Informatik.,Wissenstechnik.
